-
1 аксиома полноты
-
2 аксиома полноты
Русско-английский новый политехнический словарь > аксиома полноты
-
3 аксиома полноты
-
4 аксиома полноты
1) Engineering: axiom of completeness2) Mathematics: completeness axiom, completeness property -
5 аксиома полноты
-
6 аксиома полноты
Русско-английский словарь по машиностроению > аксиома полноты
-
7 аксиома полноты
-
8 аксиома полноты
-
9 аксиома полноты
Русско-английский научно-технический словарь Масловского > аксиома полноты
-
10 аксиома
ж.- аксиома выбора
- аксиома дополнительности
- аксиома Евклида
- аксиома конгруэнтности
- аксиома линейности
- аксиома локальности
- аксиома материальной объективности
- аксиома наложения
- аксиома независимости материала от системы отсчёта
- аксиома непрерывности
- аксиома параллельности Евклида
- аксиома полноты
- аксиома причинности
- аксиома произвольного выбора
- аксиома равновесия
- аксиома релятивистской инвариантности
- аксиома спектральности
- аксиома существования
- аксиома счётности
- аксиомы движения
- аксиомы порядка
- аксиомы сочетания
- аксиомы термодинамики Каратеодори
- аксиомы Хаага - Араки
- групповая аксиома
- фундаментальная аксиома -
11 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
12 аксиома
ж. axiom, postulate, principle -
13 аксиома
аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]
аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > аксиома
-
14 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom -
15 полнота
ж. completenessСинонимический ряд:1. всесторонность (сущ.) всесторонность2. неограниченность (сущ.) безраздельность; неограниченность3. полнотелость (сущ.) гладкость; дородность; полнотелость; пухлость; пышность; сдобность; упитанностьАнтонимический ряд:пустота; худоба -
16 простая полнота
-
17 функциональная полнота
Русско-английский большой базовый словарь > функциональная полнота
-
18 полнота
-
19 полнота
-
20 полнота
f. completeness; аксиома полноты, completeness axiom
- 1
- 2
См. также в других словарях:
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… … Справочник технического переводчика
Аксиома — (от греч. axioma значимость, требование) 1) (в математике) предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования… … Начала современного естествознания
Теория ожидаемой полезности — В экономике, теории игр, теории принятия решений теория ожидаемой полезности помогает с помощью неопределенности оценить полезность блага с точностью до положительного аффинного преобразования. Содержание 1 Виднейшие представители … Википедия
Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… … Википедия
Скалярное произведение — векторов а и b, Скаляр, равный произведению длин этих векторов и косинуса угла между ними; обозначается (а, b) (или ab). Например, работа постоянной силы F вдоль прямолинейного пути S равна (F, S). Свойства С. п.: 1) (а, b) = (b, а), 2)… … Большая советская энциклопедия
СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ — внутреннее произведение ( а, b).ненулевых векторов a и b, произведение их модулей на косинус угла j между ними: ( а, b) = | а || b| cos j. За j принимается угол между векторами, не превосходящий p. Если a=0 и b=0, то С. п. полагают равным нулю. С … Математическая энциклопедия
Непрерывность множества действительных чисел — Непрерывность действительных чисел свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… … Википедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия
ВЕРА — один из главных феноменов человеческой жизни. По своей природе В. разделяется на религ. и нерелиг. «Все, что совершается в мире, даже людьми, чуждыми Церкви, совершается верою... весьма многие дела человеческие основаны на вере; и этому не одни… … Православная энциклопедия